1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A description of 'aspectual' phenomena in Arabic
پدیدآورنده : Sitrak, Sami J.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : PJ6131.S5 ; Arabic language--Morphology
3. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
4. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
5. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
6. Constructible sets with applications
پدیدآورنده : / A. Mostowski
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Axiomatic set theory,Model theory
رده :
512
.
817
Mo-C
7. Decision Theory Models of Information and Consideration
پدیدآورنده : Lleras, Juan Sebastian
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
8. Equilibrium, markets and dynamics :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
HB145
.
E685
2013
9. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
10. Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974.
پدیدآورنده : Malinowski, Grzegorz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
Q174
.
M355
2013
11. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
12. Introduction to mathematical logic /
پدیدآورنده : Elliott Mendelson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M4
2010
13. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
14. Intuitionistic logic, modlel theory and forcing
پدیدآورنده : / Melvin Chris Fitting
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Model theory,Axiomatic set theory
رده :
511
.
8
F547
15. Jevons, Debreu and the foundations of mathematical economics :
پدیدآورنده : Cheix, Mathilde
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chicago school of economics--History,HB99.C4
16. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
17. Models and measurement of welfare and inequality.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
HB846
.
M634
2013
18. Outline of mathematical logic :
پدیدآورنده : Andrzej Grzegorczyk
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
A537
2013
19. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
20. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
